منابع مشابه
Structural Properties of Dynamic Reasoning
We characterize the structural properties of dynamic inference in general update models, and show that these are exactly the ones of public update in epistemic logic. 1 DYNAMIC INFERENCE IN ABSTRACTO Logical dynamics is about actions that change information, such as information update in communication. At an abstract level, we view propositions A as partial functions TA taking input states meet...
متن کاملStructural Representation and Surrogative Reasoning
It is argued that a number of important, and seemingly disparate, types of representation are species of a single relation, here called structural representation, that can be described in detail and studied in a way that is of considerable philosophical interest. A structural representation depends on the existence of a common structure between a representation and that which it represents, and...
متن کاملCounterfactual Reasoning in Linear Structural Equation Models
Consider the case where causal relations among variables can be described as a Gaussian linear structural equation model. This paper deals with the problem of clarifying how the variance of a response variable would have changed if a treatment variable were assigned to some value (counterfactually), given that a set of variables is observed (actually). In order to achieve this aim, we reformula...
متن کاملFunctional and Structural Reasoning in Configuration Tasks
A configuration problem within the technical domain is the problem of putting together different parts into a complex system, given a description of the possible parts and the functionality of the required system. While workin~ with our master thesis (Leitgeb, Pernler 95) at SICS~ during 93 and 94, we found only a few configuration systems extracting the functional reasoning from the structural...
متن کاملMatching Logic: A Logic for Structural Reasoning
Matching logic is a first-order logic (FOL) variant to reason about structure. Its sentences, called patterns, are constructed using variables, symbols, connectives and quantifiers, but no difference is made between function and predicate symbols. In models, a pattern evaluates into a power-set domain (the set of values that match it), in contrast to FOL where functions, predicates and connecti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Research in Undergraduate Mathematics Education
سال: 2016
ISSN: 2198-9745,2198-9753
DOI: 10.1007/s40753-016-0041-2